منابع مشابه
Adding recursion to Dpi
Dpi is a distributed version of the pi-calculus, in which processes are explicitly located, and a migration construct may be used for moving between locations. We argue that adding a recursion operator to the language increases significantly its descriptive power. But typing recursive processes requires the use of potentially infinite types. We show that the capability-based typing system of Dp...
متن کاملAdding recursion to Dpi ( Extended abstract ) Samuel Hym
Dpi is a distributed version of the pi-calculus, in which processes are explicitly located, and a migration construct may be used for moving between locations. We argue that adding a recursion operator to the language increases significantly its descriptive power. But typing recursive processes requires the use of potentially infinite types. We show that the capability-based typing system of Dp...
متن کاملAdding Recursion to Graph Transformation
In this paper we define recursive rules in the double pushout approach (DPO) to graph transformation. Classical DPO rules are extended with a base case condition and a recursion condition. Mechanisms are provided to pass the match from both conditions to the rule’s left hand side, and also between two consecutive steps in the recursion. The approach is useful when recursive structures (such as ...
متن کاملA Progressive Approach to Recursion
We propose a progressive approach to simplify teaching recursion. It is introduced by means of three instances of increasing level of difficulty. First, recursion is introduced in a “pure” form as it is found in formal grammars; its accompanying mechanisms are related to rewriting. Later, a functional programming language allows defining recursive functions and recursive data types; its mechani...
متن کاملInhaled Therapeutics using Dry Powder Inhalers (DPI)
Dry powder inhalers (DPIs), opposed to the traditional pre-metered dose inhalers (MDIs), prove to be more advantageous in delivering the desired dosage of medication to the targeted site. Now, engineers are designing better DPIs and new carrier particles that have better characteristics for drug delivery.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2007
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2006.12.017